Obstruction theory in action accessible categories
نویسندگان
چکیده
منابع مشابه
Accessible Categories and Homotopy Theory
Definition 1.1. A weak factorization system (L,R) in a category K consists of two classes L and R of morphisms of K such that (1) R = L , L = R and (2) any morphism h of K has a factorization h = gf with f ∈ L and g ∈ R. Definition 1.2. A model category is a complete and cocomplete category K together with three classes of morphisms F , C and W called fibrations, cofibrations and weak equivalen...
متن کاملClassification Theory for Accessible Categories
elementary classes (Shelah 1987) form a special case of the former (Lieberman 2011, Beke and JR 2012) and generalize Lκω-elementary classes. Surprisingly, I do not know any abstract elementary class which does not have an Lκω-axiomatization (as an abstract category). With Makkai, we failed to prove that uncountable sets with injective mappings form such an example. It seemed a long time that th...
متن کاملObstruction Theory in Model Categories
Many examples of obstruction theory can be formulated as the study of when a lift exists in a commutative square. Typically, one of the maps is a cofibration of some sort and the opposite map is a fibration, and there is a functorial obstruction class that determines whether a lift exists. Working in an arbitrary pointed proper model category, we classify the cofibrations that have such an obst...
متن کاملFinal coalgebras in accessible categories
We give conditions on a finitary endofunctor of a finitely accessible category to admit a final coalgebra. Our conditions always apply to the case of a finitary endofunctor of a locally finitely presentable (l.f.p.) category and they bring an explicit construction of the final coalgebra in this case. On the other hand, there are interesting examples of final coalgebras beyond the realm of l.f.p...
متن کاملAccessible categories: The foundations of categorical model theory,
[F-S] D. Fremlin and S. Shelah, Pointwise compact and stable sets of measurable functions, manuscript, 1990. [G-G-M-S] N. Ghoussoub, G. Godefroy, B. Maurey, W. Schachermayer, Some topological and geometrical structures in Banach spaces, Mem. Amer. Math. Soc, no. 378, Providence, RI, 1987. [G1 ] G. Godefroy, Parties admissibles d'un espace de Banach. Applications, Ann. Sci. Ecole Norm. Sup 4, (1...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2013
ISSN: 0021-8693
DOI: 10.1016/j.jalgebra.2013.03.020